Wyniki
-
Finite Model Property for Some Intuitionistic Modal Logics
Yasusi Hasimoto
Bulletin of the Section of Logic , 30 /2 (2001) s. 87-97 -
Products of Infinitely Many Modal Logics
Yasusi Hasimoto
Bulletin of the Section of Logic , 31 /2 (2002) s. 103-110